Nuprl Definition : nil def 9,38
[] is Primitive 
latex

origin